Pure bigraphs: Structure and dynamics
نویسندگان
چکیده
منابع مشابه
Pure bigraphs : Structure and dynamics
J.A. BERGSTRA and J.W. KLOP Centre for Mathematics and Computer Science, P. O. Box 4079, 1009 AB Amsterdam, The Netherlands Communicated by E. Engeler Received February 1984 Revised October 1984 Abstract. We present an axiom system ACP, for communicating processes with silent actions ('z-steps'). The system is an extension o f ACP, Algebra of Communicating Processes, with Milner's z-laws and an...
متن کاملPure bigraphs: Structure and dynamics
Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigraphical reactive system (Brs) in which bigraphs can reconfigure themselves. Following an earlier paper describing link graphs, a constituent of bigraphs, this paper is a devoted to pure bigraphs, which in turn underlie various ...
متن کاملPure bigraphs
Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigraphical reactive system (Brs) in which bigraphs can reconfigure themselves. Brss aim to unify process calculi, and to model applications —such as pervasive computing— where locality and mobility are prominent. The paper is devo...
متن کاملThe Effect of Pure State Structure on Nonequilibrium Dynamics
Motivated by short-range Ising spin glasses, we review some rigorous results and their consequences for the relation between the number/nature of equilibrium pure states and nonequilibrium dynamics. Two of the consequences for spin glass dynamics following a deep quench to a temperature with broken spin flip symmetry are: (1) Almost all initial configurations lie on the boundary between the bas...
متن کاملBigraphs and Their Algebra
Bigraphs are a framework in which both existing process calculi and new models of behaviour can be formulated, yielding theory that is shared among these models. A short survey of the main features of bigraphs is presented, showing how they can be developed from standard graph theory using elementary category theory. The algebraic manipulation of bigraphs is outlined with the help of illustrati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2006
ISSN: 0890-5401
DOI: 10.1016/j.ic.2005.07.003